# Copyright 2021, Régis Décamps
# SPDX-License-Identifier: BSD-3-Clause

java_test(
    name = "StateSetQuickcheck",
    size = "small",
    timeout = "short",
    srcs = [
        "OffsetGen.java",
        "StateSetGen.java",
        "StateSetQuickcheck.java",
    ],
    deps = [
        "//jflex/src/main/java/jflex/state",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)
